网构软件选择的可信性评估算法

网构软件可以加快软件开发的速度和降低成本。然而,随着网构软件数量的增多,如何选择合适的构件成为一个具有挑战性的问题。现有的研究工作,有的只给出了可信性评估模型,没有具体的实现方案;有的只是考虑了的可靠性一个可信属性。提出基于贝叶斯网络的可信性评估模型：首先对构件进行结构分析,根据其模块划分和结构层次等建立相应的可信性评估体系;其次,采用自底向上的计算方法确定各个软件实体的可信性评估值;最后,利用客观数据对评估指标进行修正,得到统一的可信性评估结果。实验结果表明：算法可以客观、明确的对网构软件进行评估,能够科学、有效的指导网构软件的选择。     

可信可控网络中跨自治域的流合作测量模型

当前网络环境下提出的流测量算法缺少必要的合作,存在测量覆盖度不高等问题。为此,提出一种新的基于全网合作的流测量模型,在自治域(AS)间通过标识已测量流和共享测量结果的方式,实现AS间的流合作测量,在AS内利用控制节点为路由器统一分配测量任务的方法,实现AS内最大化流测量覆盖度的目标。实验结果表明,该模型能够有效利用网络资源,平衡各个路由器的测量负载,提高测量覆盖度,具有比以往方法更好的性能。     

可信网络的发展及其面对的技术挑战

随着信息网络的基础性、全局性作用日益增强,传统的网络理论与技术,尤其是网络安全,已经不能满足网络发展的需要,提供系统的安全可信的服务已经成为网络研究的新趋势。本文认为可信网络应该是网络和用户的行为及其结果总是可预期与可管理的。网络可信主要包括服务提供者的可信、网络信息传输的可信性和终端用户的可信等3个方面的内容。从网络与用户行为的可信模型、可信网络的体系结构、服务的可生存性、网络的可管理性4个方面进行研究,以便为解决可信网络面临的科学问题提供思路。     

互联网的业务融合及可信度研究

互联网融合多种业务过程中面临服务质量、信息安全和网络可信度等问题带来的挑战。实行实名制,层次结构,测量、监控与审计,流量规划和准入控制,地址空间扩充,网络可信度综合评价是有效的治理措施。从驻地网开始治理,使得每一个驻地网都有良好的品质,可为互联网提供良好的服务创造条件。     

基于证据融合理论的配电网经济运行指标权重的闭环计算方法

为有效评价配电网经济运行指标,需要确定合理的运行指标权重,为此提出了基于证据融合理论的配电网经济运行指标权重闭环计算方法。首先邀请专家给出指标主观权重,剔除离异程度大的专家意见,并对不可靠意见进行折扣处理,利用证据融合理论确定专家主观权重。若该主观权重符合证据充分条件,则该权重即为最终权重;否则利用熵值法和主成分分析法...     

可信计算与可信网络

论文对主流的可信计算技术——TCPA和NGSCB进行了分析,并对可信计算平台(TCP)进行了研究,对基于可信计算的可信网络的三个基本属性进行了分析和研究,最后介绍了可信网络的发展现状。     

基于本体的可信软件演化框架模型*

为系统化地考虑开放环境对软件可信性的影响和驱动作用,提出了一种基于本体空间并支持动态演化的框架模型。该模型采用本体空间的方法解决用户、系统和环境三者之间交互的语义问题,在此基础上,通过预定义的规则对软件行为的可信性和自主调整的必要性进行评估,依据评估结果从微观层次的规约制导和宏观层次的人机协同在软件生命周期内对其调整、配置与修正。应用实例及测试结果验证了该框架模型的有效性与可行性。     

面向QoS保障的虚拟可信服务*

针对服务计算模型中对应用的可信特性支持不足问题,提出面向QoS保障的虚拟可信服务VTS,并依据VTS设计了一种基于反馈控制的自适应QoS保障机制。首先将VTS的QoS保障转换为反馈控制问题,给出一种自适应QoS保障框架,再在此框架下对VTS的QoS维护过程和策略进行建模,设计和实现了相应的动态组建、调节算法和实时评估策略。最后通过仿真实验的结果分析表明,该保障机制能够有效地增强VTS对服务实体运行时的QoS保障能力。     

软件可信评估综述

软件可信评估是近年来计算机科学的一个新的研究热点和难点,对软件可信评估的研究有助于促进软件产业的振兴与发展。首先分析了软件可信评估的必要性;然后对可信评估的研究现状进行综述,主要包括体现可信的属性特征和软件可信等级的定义、软件可信评估模型、软件可信评估实现方案四个方面;同时分析了目前可信评估中存在的不足以及造成这些不足的根本原因;最后指出了可信评估的未来发展趋势。